Maharam algebras

نویسنده

  • Boban Velickovic
چکیده

Maharam algebras are complete Boolean algebras carrying a positive continuous submeasure. They were introduced and studied by Maharam in [24] in relation to Von Neumann’s problem on the characterization of measure algebras. The question whether every Maharam algebra is a measure algebra has been the main open problem in this area for around 60 years. It was finally resolved by Talagrand [31] who provided the first example of a Maharam algebra which is not a measure algebra. In this paper we survey some recent work on Maharam algebras in relation to the two conditions proposed by Von Neumann: weak distributivity and the countable chain condition. It turns out that by strengthening either one of these conditions one obtains a ZFC characterization of Maharam algebras. We also present some results on Maharam algebras as forcing notions showing that they share some of the well known properties of measure algebras.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Maharam Algebras and Cohen Reals

We show that the product of any two nonatomic Maharam algebras adds a Cohen real. As a corollary of this and a result of Shelah [14] we obtain that the product of any two nonatomic ccc Souslin forcing notions adds a Cohen real.

متن کامل

Complete Ccc Boolean Algebras

Let B be a complete ccc Boolean algebra and let τs be the topology on B induced by the algebraic convergence of sequences in B. 1. Either there exists a Maharam submeasure on B or every nonempty open set in (B, τs) is topologically dense. 2. It is consistent that every weakly distributive complete ccc Boolean algebra carries a strictly positive Maharam submeasure. 3. The topological space (B, τ...

متن کامل

Special Subsets of Cf(µ) Μ, Boolean Algebras and Maharam Measure Algebras Sh620

The original theme of the paper is the existence proof of “there is η̄ = 〈ηα : α < λ〉 which is a (λ, J)-sequence for Ī = 〈Ii : i < δ〉, a sequence of ideals”. This can be thought of as a generalization to Luzin sets and to Sierpinski sets, but for the product ∏ i<δ Dom(Ii), the existence proofs are related to pcf. The second theme is when does a Boolean algebra B have a free caliber λ (i.e. if X ...

متن کامل

Maharam measure Algebras

The original theme of the paper is the existence proof of “there is η̄ = 〈ηα : α < λ〉 which is a (λ, J)-sequence for Ī = 〈Ii : i < δ〉, a sequence of ideals. This can be thought of as in a generalization to Luzin sets and Sierpinski sets, but for the product ∏ i<δ dom(Ii), the existence proofs are related to pcf. The second theme is when does a Boolean algebraB has free caliber λ (i.e. if X ⊆ B a...

متن کامل

Complete Ccc Boolean Algebras, the Order Sequential Topology, and a Problem of Von Neumann

Let B be a complete ccc Boolean algebra and let τs be the topology on B induced by the algebraic convergence of sequences in B. 1. Either there exists a Maharam submeasure on B or every nonempty open set in (B, τs) is topologically dense. 2. It is consistent that every weakly distributive complete ccc Boolean algebra carries a strictly positive Maharam submeasure. 3. The topological space (B, τ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Ann. Pure Appl. Logic

دوره 158  شماره 

صفحات  -

تاریخ انتشار 2009